The areas in which I work are: probabilistic bisimulation, approximation of
Markov processes, reinforcement learning, quantitative logics and quantum
information theory.
I was recently elected as a
Fellow of the Royal
Society.
I was elected as a Fellow of the Royal Society of Canada in 2013 and of the
Association
of Computing Machinery in 2020.
I was the 2021 Milner
Lecturer at the University of Edinburgh and the
November 2024 Strachey
Lecturer at the University of Oxford. The slides for both talks are
below.
My co-authors, Richard Blute,
Josee Desharnais, Abbas Edalat and I won the 2017
Test-of-Time Award from LICS for our 1997 paper on
bisimulation for Labelled Markov processes.
Josee Desharnais, Vineet Gupta, Radha Jagadeesan and I won the
2022 Test-of-Time award for our 2002 paper, A metric analogue of
weak bisimulation.
